﻿<?php
function html_head($title)
{
	echo("<!DOCTYPE html>");
	echo("<html>\n");
	echo("<head>\n");
	echo("<meta http-equiv='Content-Type' content='text/html;charset=UTF-8' />\n");
	echo("<link rel='stylesheet' type='text/css' href='style.css' media='all' />\n");
	echo("<link rel='stylesheet' type='text/css' href='screen.css' media='screen' />\n");
	echo("<link rel='stylesheet' type='text/css' href='print.css' media='print' />\n");
	echo("<script type='text/javascript' src='nav_func.js'></script>\n");
	echo("<title>".$title."</title>\n");
}

function menu()
{
?>

<!-- Menu bar #1. -->

<div class="menuBar" style="float:left;width:35em; margin-left:400px;">
<a class="menuButton" href="index.php">Startseite</a>
<a class="menuButton"
    href=""
    onclick="return buttonClick(event, 'menu3');"
    onmouseover="buttonMouseover(event, 'menu3');"
>Einstellungen</a>
<a class="menuButton" href="logout.php"><b><?php echo($_SESSION["username"])?></b> (Logout)</a>
<?php
if(isset($_SESSION['set_kenn']) && $_SESSION['set_kenn'] == '1' ){
	echo("<a class='menuButton' href='stunden/switch.php'>Switch User</a>");
}
?>
</div>

<!-- Sub menus for einstellungen... -->

<div id="menu3" class="menu">
<a class="menuItem" href="change_pw.php">Eigenes Passwort ändern</a>
<?php if($_SESSION["userid"] == '24'){
	//wichtig: in infodatei eintragen...muss auf sysadmin gesetzt werden. 
	//TODO: tabelle mit rechten anlegen und rechte abfragen 7.8.12
	echo("<div class='menuItemSep'></div>");
	echo("<a class='menuItem' href='register.php'>Benutzer anlegen</a>");
	echo("<a class='menuItem' href='delete_user.php'>Benutzer löschen</a>");
	echo("<a class='menuItem' href='set_rights.php'>Rechte vergeben</a>");
}?>
</div>

<!--Separator -->
<div id="menu3_4" class="menu">

<a class="menuItem" href="blank.html"
   onclick="return false;"
   onmouseover="menuItemMouseover(event, 'menu1_4_3');"
><span class="menuItemText">Studiengang</span><span class="menuItemArrow">&#9654;</span></a>
<div class="menuItemSep"></div>
<a class="menuItem" href="blank.html"
   onclick="return false;"
   onmouseover="menuItemMouseover(event, 'menu1_4_4');"
><span class="menuItemText">Pflichtmodul...</span><span class="menuItemArrow">&#9654;</span></a>
<a class="menuItem" href="blank.html"
   onclick="return false;"
   onmouseover="menuItemMouseover(event, 'menu1_4_5');"
><span class="menuItemText">Modulelement</span><span class="menuItemArrow">&#9654;</span></a>
<br/>
</div>
<p/>
 <br>
<?php
}

function html_feed()
{
?>
<br>
<!--<div id="footer1">
   Fragen, &Auml;nderungsw&uuml;nsche und Kommentare bitte an: 
	<a href='mailto:sa.mueller@mx.uni-saarland.de'>Sabine M&uuml;ller</a>
	sa.mueller (at) mx.uni-saarland.de
  </div>
-->

</body>
</html>
<?php
}
?>


